flask/policy: split into modules
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 20 Jun 2016 14:04:10 +0000 (10:04 -0400)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 21 Jun 2016 14:29:17 +0000 (15:29 +0100)
commit31689dcb0fbfe00f7556337ac72a10c238d7a40d
tree9644887d1f879f2696a4194b3c36ab2216ab370b
parent57a57465daaf8fb66d192ff98b8477524091e82c
flask/policy: split into modules

This makes it easier to enable or disable parts of the XSM policy.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Reviewed-by: Doug Goldstein <cardoe@cardoe.com>
14 files changed:
tools/flask/policy/Makefile
tools/flask/policy/modules/dom0.te [new file with mode: 0644]
tools/flask/policy/modules/domU.te [new file with mode: 0644]
tools/flask/policy/modules/guest_features.te [new file with mode: 0644]
tools/flask/policy/modules/isolated_domU.te [new file with mode: 0644]
tools/flask/policy/modules/modules.conf [new file with mode: 0644]
tools/flask/policy/modules/nic_dev.te [new file with mode: 0644]
tools/flask/policy/modules/nomigrate.te [new file with mode: 0644]
tools/flask/policy/modules/prot_domU.te [new file with mode: 0644]
tools/flask/policy/modules/xen.if [new file with mode: 0644]
tools/flask/policy/modules/xen.te [new file with mode: 0644]
tools/flask/policy/policy/modules.conf [deleted file]
tools/flask/policy/policy/modules/xen/xen.if [deleted file]
tools/flask/policy/policy/modules/xen/xen.te [deleted file]